package entity.lemming;

import java.awt.Point;

import entity.Entity;
import entity.terrain.Terrain;
import level.Level;

/**
 * A Lemming that builds platforms diagonally upwards to aid Lemmings "bridge" gaps.
 * 
 * @author Neil Cowzer
 */
public class Bridger extends Lemming {

	
	
	
	/**
	 * 
	 * @param x the starting x-coordinate.
	 * @param y the starting y-coordinate.
	 */
	/*@ requires 0 <= x && 0 <= y && level != null;
		assignable  speed_X && speed_Y && energy;
		ensures speed_X != 0 && speed_Y < 0 && energy == 100;
	 */
	public Bridger(int x, int y){
		super("tobefilled.gif",8, x, y);
		speed_X = 1;
		speed_Y = -2;
		energy = 100;
	}
	
	/**
	 * Create a new Bridger with the given center point
	 * 
	 * @param center point of the Lemming
	 */
	public Bridger(Point center){
		super("tobefilled.gif",8, center);
		speed_X = 1;
		speed_Y = -2;
		energy = 100;
	}
	
	
	/**
	 * Checks for a collision with another Entity
	 * 
	 * @param other another Entity eg Terrain, Lemming.
	 * @return true if a collision has occured.
	 */
	public /*@ pure @*/ boolean collision(Lemming other) {
		// TODO Auto-generated method stub
		return false;
	}

	/** Request that this lemming perform the appropiate action/movement. */
	/*@ ensures x == \old(x) + speed_X &&
	 * 			y == \old(y) + speed_Y &&
				energy == \old(energy) - 1;
	 */
	public void move(Terrain terrain) {
		// TODO Auto-generated method stub

	}
	
	/** Reverse a Lemmings direction */
	public void turnAround(){

	}

}
